$\vdash$  ($\neg$False) $\Leftarrow\!\Rightarrow$ True